Precondición — Saltar a navegación, búsqueda Una precondición es una condición que ha de satisfacerse justo antes del comienzo de la ejecución de una porción de código (normalmente un subprograma o método). Por ejemplo: el factorial de un número sólo está… … Wikipedia Español
Precondición libre más débil — Saltar a navegación, búsqueda La Precondición libre más débil (en inglés, weakest liberal precondition , wlp) es una extensión del concepto de la precondición más débil de E. W. Dijkstra para probar en programas de ordenador. Mientras wp… … Wikipedia Español
Método formal — En ingeniería de software un método formal es un camino a la construcción y análisis de modelos matemáticos que permitan una automatización del desarrollo de sistemas informáticos. Los métodos formales se caracterizan por emplear técnicas y… … Wikipedia Español
Semántica de transformación de predicados — La semántica de transformación de predicados es una extensión de Lógica de Floyd Hoare ideada por Edsger Dijkstra y extendida y refinada por otros investigadores. Esta extensión fue presentada por Dijkstra en sus artículos titulados Guarded… … Wikipedia Español
Aserción (informática) — Saltar a navegación, búsqueda En programación, una aserción es un predicado (i.e., una sentencia verdadero falso) incluido en un programa como indicación de que el programador piensa que dicho predicado siempre se cumple en ese punto del flujo de … Wikipedia Español
Conocimiento libre — Existen desacuerdos sobre la neutralidad en el punto de vista de la versión actual de este artículo o sección. En la página de discusión puedes consultar el debate al respecto. El conocimiento libre es una corriente epistemológica que estudia el… … Wikipedia Español
Peter Bauer — Saltar a navegación, búsqueda Peter Thomas Bauer, también conocido como Barón Bauer (*1915 † 2 de mayo de 2002) fue un importante economista reconocido a nivel internacional. Bauer es recordado sobre todo por su oposición a la postura largamente… … Wikipedia Español
Java Modeling Language — El Java Modeling Language, abreviado JML y en español «Lenguaje de Modelaje para Java» es un lenguaje de especificación para programas Java, que se sirve de pre , postcondiciones e invariantes de la lógica de Hoare, siguiendo el paradigma de… … Wikipedia Español
Actas de Navegación (Inglaterra) — Saltar a navegación, búsqueda Las Actas de Navegación inglesas fueron una serie de leyes que, comenzando por la dictada el 9 de octubre de 1651, restringieron el uso de barcos extranjeros en el comercio de Inglaterra (más tarde Gran Bretaña y sus … Wikipedia Español
Actas de Navegación — Las Actas de Navegación inglesas fueron una serie de leyes que, comenzando por la dictada el 9 de octubre de 1651, restringieron el uso de barcos extranjeros en el comercio de Inglaterra (más tarde Gran Bretaña y sus colonias). Surgieron como… … Wikipedia Español
